1

Translation of the simple theory of types into a first order language.

Year:
1974
Language:
english
File:
PDF, 962 KB
english, 1974